Bengt Sundkler's Documents

Bengt Sundkler's Documents

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Read more
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
Read more
Severe Dementia

Severe Dementia
Read more
Asia's Innovation Systems in Transition (New Horizons in the Economics of Innovation.)

Asia's Innovation Systems in Transition (New Horizons in the Economics of Innovation.)
Read more
New Aspects of Plasma Physics: Proceedings of the 2007 ICTP Summer College on Plasma Physics

New Aspects of Plasma Physics: Proceedings of the 2007 ICTP Summer College on Plasma Physics
Read more
evaluating clinical research

evaluating clinical research
Read more
Evaluating Clinical Research: All That Glitters is Not Gold

Evaluating Clinical Research: All That Glitters is Not Gold
Read more
Stress in Health and Disease

Stress in Health and Disease
Read more
Flexibility and Stability in Working Life

Flexibility and Stability in Working Life
Read more
Learn from the Masters (Classroom Resource Materials)

Learn from the Masters (Classroom Resource Materials)
Read more
Alzheimer's Disease: Advances in Etiology, Pathogenesis and Therapeutics

Alzheimer's Disease: Advances in Etiology, Pathogenesis and Therapeutics
Read more
Learn from the Masters (Classroom Resource Materials)

Learn from the Masters (Classroom Resource Materials)
Read more
New Perspectives on Aggression Replacement Training: Practice, Research and Application (Wiley Series in Forensic Clinical Psychology)

New Perspectives on Aggression Replacement Training: Practice, Research and Application (Wiley Series in Forensic Clinical Psychology)
Read more
The Politics of Crisis Management: Public Leadership Under Pressure

The Politics of Crisis Management: Public Leadership Under Pressure
Read more
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Read more
Biodiversity in Dead Wood

Biodiversity in Dead Wood
Read more
New Perspectives on Aggression Replacement Training: Practice, Research and Application (Wiley Series in Forensic Clinical Psychology)

New Perspectives on Aggression Replacement Training: Practice, Research and Application (Wiley Series in Forensic Clinical Psychology)
Read more
Business Models for Sustainable Telecoms Growth in Developing Economies

Business Models for Sustainable Telecoms Growth in Developing Economies
Read more
Alzheimer's Disease: Advances in Etiology, Pathogenesis and Therapeutics

Alzheimer's Disease: Advances in Etiology, Pathogenesis and Therapeutics
Read more
Prothèse dentaire : principes et stratégies thérapeutiques

Prothèse dentaire : principes et stratégies thérapeutiques
Read more
The Politics of Crisis Management: Public Leadership Under Pressure

The Politics of Crisis Management: Public Leadership Under Pressure
Read more
The History of Linguistics in the Nordic Countries

The History of Linguistics in the Nordic Countries
Read more
Design-inspired Innovation

Design-inspired Innovation
Read more
Computational Fluid Dynamics for Engineers

Computational Fluid Dynamics for Engineers
Read more
The CBM Physics Book: Compressed Baryonic Matter in Laboratory Experiments

The CBM Physics Book: Compressed Baryonic Matter in Laboratory Experiments
Read more
Beiss mich in den Nacken, Liebling: schwedische Liebesgeschichten

Beiss mich in den Nacken, Liebling: schwedische Liebesgeschichten
Read more
Nordics in Global Crisis

Nordics in Global Crisis
Read more
Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Model-Based Testing of Reactive Systems, Advanced Lectures 2004
Read more
Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures
Read more
Design-inspired Innovation

Design-inspired Innovation
Read more